% This file was created with JabRef 2.4.2.
% Encoding: Cp1252

@BOOK{uml,
  title = {The Unified Modeling Language User Guide},
  publisher = {Addison-Wesley},
  year = {1999},
  author = {Grady Booch and Ivar Jacobson and James Rumbaugh}
}

@inproceedings{oopsla-sergio,
  author    = {S{\'e}rgio Soares and
               Eduardo Laureano and
               Paulo Borba},
  title     = {Implementing distribution and persistence aspects with aspectJ},
  booktitle = {OOPSLA},
  year      = {2002},
  pages     = {174-190},
  ee        = {http://doi.acm.org/10.1145/582419.582437},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@unpublished{DW,
    title = "Design Wizard",
    author = "João Arthur",
    note = "At \href{http://www.gmf.ufcg.edu.br/index.php/DesignWizard}",
    year = "2009"
} 

@unpublished{javacc,
    title = "JavaCC Project",
    author = "Java.net",
    note = "At \href{https://javacc.dev.java.net/}{https://javacc.dev.java.net/}",
    year = "2009"
}


@ARTICLE{rool-journal,
  author = {Paulo Borba and Augusto Sampaio and Ana Cavalcanti and M\'{a}rcio
	Corn\'{e}lio},
  title = {{Algebraic Reasoning for Object-Oriented Programming}},
  journal = {Science of Computer Programming},
  year = {2004},
  volume = {52},
  pages = {53--100},
  month = {October}
}

@ARTICLE{jml,
  author = {Lilian Burdy and Yoonsik Cheon and David Cok and Michael Ernst and
	Joe Kiniry and Gary Leavens and K. Rustan M. Leino and Erik Poll},
  title = {An overview of {JML} tools and applications},
  journal = {Software Tools for Technology Transfer},
  year = {2005},
  volume = {7},
  pages = {212--232},
  number = {3},
  month = jun
}

@ARTICLE{chavez-06,
  author = {Christina Chavez and Alessandro Garcia and Uir� Kulesza and Cl�udio
	Sant'anna, Carlos Lucena},
  title = {Crosscutting Interfaces for Aspect-Oriented Modeling},
  journal = {Journal of the Brazilian Computer Society},
  year = {2006},
  volume = {12},
  pages = {43--58},
  number = {1}
}

@BOOK{product-lines,
  title = {Software Product Lines: Practices and Patterns },
  publisher = {Addison-Wesley},
  year = {2001},
  author = {Paul Clements and Linda Northrop}
}

@UNPUBLISHED{semmle,
  author = {Semmle Code},
  title = {Semmle Code},
  note = {At \href{http://semmle.com/}{http://semmle.com/}},
  year = {2007}
}

@INPROCEEDINGS{cole-aosd,
  author = {Leonardo Cole and Paulo Borba},
  title = {Deriving Refactorings for {A}spect{J}},
  booktitle = {AOSD '05: Proceedings of the 4th international conference on Aspect-oriented
	software development},
  year = {2005},
  pages = {123-134},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  location = {Chicago, Illinois}
}

@INPROCEEDINGS{fm,
  author = {Krzysztof Czarnecki and Chang Hwan Peter Kim and Karl Trygve Kalleberg},
  title = {Feature Models are Views on Ontologies},
  booktitle = {SPLC '06: Proceedings of the 10th International on Software Product
	Line Conference},
  year = {2006},
  pages = {41--51},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2599-7}
}

@ARTICLE{DR,
  author = {Marcos D\'{o}sea and Alberto Costa Neto and Paulo Borba and Sergio Soares},
  title = {Specifying Design Rules in Aspect-Oriented Systems},
  journal = {Latin American Workshop on Aspect-Oriented Software Development },
  year = {2007},
  owner = {Art},
  timestamp = {2009.03.03}
}

@UNPUBLISHED{eclipse,
  author = {Eclipse.org},
  title = {Eclipse Project},
  note = {At \href{http://www.eclipse.org}{http://www.eclipse.org}},
  year = {2007}
}

@INPROCEEDINGS{typeSystem_fse,
  author = {Jonathan Edwards and Daniel Jackson and Emina Torlak},
  title = {A type system for object models},
  booktitle = {12th Foundations of software engineering},
  year = {2004},
  pages = {189--199},
  location = {USA}
}

@INPROCEEDINGS{jastadd,
  author = {Ekman,, Torbj\"{o}rn and Hedin,, G\"{o}rel},
  title = {The jastadd extensible java compiler},
  booktitle = {OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference
	on Object-oriented programming systems and applications},
  year = {2007},
  pages = {1--18},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/1297027.1297029},
  isbn = {978-1-59593-786-5},
  location = {Montreal, Quebec, Canada}
}

@BOOK{refactoring,
  title = {Refactoring: Improving the Design of Existing Code},
  publisher = {Addison-Wesley},
  year = {1999},
  author = {Martin Fowler}
}

@BOOK{patterns,
  title = {Design Patterns: Elements of Reusable Object-Oriented Software},
  publisher = {Addison-Wesley},
  year = {1994},
  author = {E. Gamma and R. Helm and R. Johnson and J. Vlissides}
}

@INPROCEEDINGS{leavens-observers-2002,
    author = {Curtis Clifton and Gary T. Leavens},
    title = {Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning},
    booktitle = {Foundations of Aspect Languages},
    year = {2002},
    pages = {33--44}
}


@article{steiman-sigplan-2006,
    Address = {New York, NY, USA},
    Author = {Friedrich Steimann},
    Doi = {http://doi.acm.org/10.1145/1167515.1167514},
    Issn = {0362-1340},
    Journal = {SIGPLAN Not.},
    Number = {10},
    Pages = {481--497},
    Publisher = {ACM},
    Title = {The paradoxical success of aspect-oriented programming},
    Volume = {41},
    Year = {2006},
    Bdsk-Url-1 = {http://doi.acm.org/10.1145/1167515.1167514}}


@INPROCEEDINGS{qnt-patterns,
  author = {Garcia,, Alessandro and Sant'Anna,, Cl\'{a}udio and Figueiredo,,
	Eduardo and Kulesza,, Uir\'{a} and Lucena,, Carlos and von Staa,,
	Arndt},
  title = {Modularizing design patterns with aspects: a quantitative study},
  booktitle = {AOSD '05: Proceedings of the 4th international conference on Aspect-oriented
	software development},
  year = {2005},
  pages = {3--14},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/1052898.1052899},
  isbn = {1-59593-042-6},
  location = {Chicago, Illinois}
}

@article{lopes-taosd-2006,
    Author = {Lopes, C.V. and Bajracharya, S.K.},
    Date-Added = {2008-05-20 15:05:14 -0300},
    Date-Modified = {2008-05-20 15:05:34 -0300},
    Journal = {LNCS Transactions on Aspect-Oriented Software Development I},
    Pages = {1--35},
    Publisher = {Springer},
    Title = {{Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value}},
    Year = {2006}}

@inproceedings{vlopes-aosd-2005,
    Address = {New York, NY, USA},
    Author = {Cristina Videira Lopes and Sushil Krishna Bajracharya},
    Booktitle = {AOSD '05},
    Date-Modified = {2008-05-09 15:08:34 -0300},
    Location = {Chicago, Illinois},
    Pages = {15--26},
    Publisher = {ACM},
    Rating = {4},
    Read = {No},
    Title = {An analysis of modularity in aspect oriented design},
    Year = {2005}}

@PHDTHESIS{gheyi-thesis,
  author = {Rohit Gheyi},
  title = {A Refinement Theory for Alloy},
  school = {Federal University of Pernambuco},
  year = {2007}
}

@MASTERSTHESIS{rohit-masters,
  author = {Rohit Gheyi},
  title = {Basic Laws of Object Modeling},
  school = {Federal University of Pernambuco},
  year = {2004}
}

@ARTICLE{jucs09,
  author = {Rohit Gheyi and Tiago Massoni and Paulo Borba},
  title = {Algebraic Laws for Feature Models},
  journal = {Journal of the Brazilian Computer Society (to appear)},
  year = {2009}
}

@INPROCEEDINGS{sblp08,
  author = {Rohit Gheyi and Tiago Massoni and Paulo Borba},
  title = {A Complete and Minimal Set of Algebraic Laws for Feature Models},
  booktitle = {Brazilian Symposium on Programming Languages (SBLP)},
  year = {2008},
  pages = {xx-yy},
  address = {Fortaleza, Brazil},
  month = {aug}
}

@INPROCEEDINGS{alloy06,
  author = {Rohit Gheyi and Tiago Massoni and Paulo Borba},
  title = {A Theory for Feature Models in Alloy},
  booktitle = {First Alloy Workshop},
  year = {2006},
  pages = {71-80}
}

@INPROCEEDINGS{ase-05,
  author = {Rohit Gheyi and Tiago Massoni and Paulo Borba},
  title = {A Rigorous Approach for Proving Model Refactorings},
  booktitle = {20th IEEE/ACM International Conference on Automated Software Engineering
	(ASE)},
  year = {2005},
  pages = {372-375},
  address = {Long Beach, United States},
  month = {November}
}

@INPROCEEDINGS{savcbs_04,
  author = {Rohit Gheyi and Tiago Massoni and Paulo Borba},
  title = {Basic Laws of Object Modeling},
  booktitle = {3rd Specification and Verification of Component-Based Systems, affiliated
	with ACM SIGSOFT 2004/FSE-12},
  year = {2004},
  pages = {18--25},
  address = {Newport Beach, United States}
}

@ARTICLE{xpi,
  author = {Griswold,, William G. and Sullivan,, Kevin and Song,, Yuanyuan and
	Shonle,, Macneil and Tewari,, Nishit and Cai,, Yuanfang and Rajan,,
	Hridesh},
  title = {Modular Software Design with Crosscutting Interfaces},
  journal = {IEEE Software.},
  year = {2006},
  volume = {23},
  pages = {51--60},
  number = {1},
  address = {Los Alamitos, CA, USA},
  doi = {http://dx.doi.org/10.1109/MS.2006.24},
  issn = {0740-7459},
  publisher = {IEEE Computer Society Press}
}

@INPROCEEDINGS{aspect-patterns,
  author = {Hannemann,, Jan and Kiczales,, Gregor},
  title = {Design pattern implementation in Java and aspectJ},
  booktitle = {OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented
	programming, systems, languages, and applications},
  year = {2002},
  pages = {161--173},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/582419.582436},
  isbn = {1-58113-471-1},
  location = {Seattle, Washington, USA}
}

@BOOK{alloy-book,
  title = {Software Abstractions: Logic, Language and Analysis},
  publisher = {{MIT} press},
  year = {2006},
  author = {Daniel Jackson}
}

@INPROCEEDINGS{alcoa,
  author = {Daniel Jackson and Ian Schechter and Ilya Shlyahter},
  title = {Alcoa: the alloy constraint analyzer},
  booktitle = {22nd International Conference on Software Engineering},
  year = {2000},
  pages = {730--733},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/337180.337616},
  isbn = {1-58113-206-9},
  location = {Limerick, Ireland}
}

@BOOK{prob-frame,
  title = {Problem frames: analyzing and structuring software development problems},
  publisher = {Addison-Wesley Longman Publishing},
  year = {2001},
  author = {Michael Jackson}
}

@UNPUBLISHED{javacc,
  author = {Java.net},
  title = {JavaCC Project},
  note = {At \href{https://javacc.dev.java.net/}{https://javacc.dev.java.net/}},
  year = {2009}
}

@UNPUBLISHED{junit,
  author = {JUnit},
  title = {JUnit},
  note = {At \href{http://www.junit.org}{http://www.junit.org}},
  year = {2007}
}

@ARTICLE{aspectj,
  author = {G. Kiczales and E. Hilsdale and J. Hugunin and M. Kersten and J.
	Palm and W. Griswold},
  title = {Getting started with {AspectJ}},
  journal = {Communications of the ACM},
  year = {2001},
  volume = {44},
  pages = {59--65},
  number = {10},
  doi = {http://doi.acm.org/10.1145/383845.383858},
  issn = {0001-0782},
  publisher = {ACM Press}
}

@INPROCEEDINGS{aop,
  author = {Gregor Kiczales and John Lamping and Anurag Mendhekar and Chris Maeda
	and Cristina Lopes and Jean-Marc Loingtier and John Irwin},
  title = {Aspect-Oriented Programming},
  booktitle = {Proceedings European Conference on Object-Oriented Programming},
  year = {1997},
  editor = {Mehmet Ak\c{s}it and Satoshi Matsuoka},
  volume = {1241},
  pages = {220--242},
  address = {Berlin, Heidelberg, and New York},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{gregor-icse05,
  author = {Gregor Kiczales and Mira Mezini},
  title = {Aspect-oriented programming and modular reasoning},
  booktitle = {ICSE '05: Proceedings of the 27th international conference on Software
	engineering},
  year = {2005},
  pages = {49--58},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1062455.1062482},
  isbn = {1-59593-963-2},
  location = {St. Louis, MO, USA}
}

@BOOK{ocl,
  title = {The Object Constraint Language: Precise Modeling with {UML}},
  publisher = {Addison-Wesley},
  year = {1999},
  author = {Anneke Kleppe and Jos Warmer}
}

@INPROCEEDINGS{sbmf06,
  author = {Tiago Massoni and Rohit Gheyi and Paulo Borba},
  title = {A Formal Framework for Establishing Conformance between Object Models
	and Object-Oriented Programs},
  booktitle = {Brazilian Symposium on Formal Methods (SBMF)},
  year = {2006},
  pages = {201-216},
  address = {Natal, Brazil},
  isbn = {85-7669-077-2}
}

@INPROCEEDINGS{pdl-aosd07,
  author = {Clint Morgan and Kris De Volder and Eric Wohlstadter},
  title = {A static aspect language for checking design rules},
  booktitle = {AOSD '07: Proceedings of the 6th international conference on Aspect-oriented
	software development},
  year = {2007},
  pages = {63--72},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1218563.1218571},
  isbn = {1-59593-615-7},
  location = {Vancouver, British Columbia, Canada}
}

@INPROCEEDINGS{neto-icse07,
  author = {Alberto Costa Neto and M\'{a}rcio Ribeiro and Marcos D\'{o}sea and
	Rodrigo Bonif\'{a}cio and Paulo Borba e S\'{e}rgio Soares},
  title = {Semantic Dependencies and Modularity of Aspect-Oriented Software},
  booktitle = {ICSE Workshop on Assessment of Contemporary Modularization Techniques
	(ACoM.07), affiliated with ICSE 2007},
  year = {2007},
  address = {Minneapolis, USA},
  month = {May}
}

@PHDTHESIS{refact-thesis,
  author = {William Opdyke},
  title = {Refactoring Object-Oriented Frameworks},
  school = {University of Illinois at Urbana-Champaign},
  year = {1992}
}

@UNPUBLISHED{fxcop,
  author = {FxCop Team Page},
  title = {FxCop Team Page},
  note = {At \href{http://gotdotnet.com/team/fxcop}{http://gotdotnet.com/team/fxcop}},
  year = {2007}
}

@ARTICLE{parnas-inf-hiding,
  author = {D. L. Parnas},
  title = {On the criteria to be used in decomposing systems into modules},
  journal = {Classics in software engineering},
  year = {1979},
  pages = {139--150},
  address = {Upper Saddle River, NJ, USA},
  isbn = {0-917072-14-6},
  publisher = {Yourdon Press}
}

@INPROCEEDINGS{ribeiro-sbes07,
  author = {Marcio Ribeiro and Marcos Dosea and Rodrigo Bonifacio and Alberto
	Neto and Paulo Borba and S\'{e}rgio Soares},
  title = {Analyzing Class and Crosscutting Modularity Structure Matrixes},
  booktitle = {21th Brazilian Symposium on Software Engineering (SBES)},
  year = {2007},
  address = {Jo\~{a}o Pessoa, Brazil}
}

@ARTICLE{gheyi-rej07,
  author = {Robert Seater and Daniel Jackson and Rohit Gheyi},
  title = {Requirement progression in problem frames: deriving specifications
	from requirements},
  journal = {Requirement Engineering Journal (REJ)},
  year = {2007},
  volume = {12},
  pages = {77--102},
  number = {2},
  address = {Secaucus, NJ, USA},
  doi = {http://dx.doi.org/10.1007/s00766-007-0048-y},
  issn = {0947-3602},
  publisher = {Springer-Verlag New York, Inc.}
}

@ARTICLE{soares-spe,
  author = {S\'{e}rgio Soares and Paulo Borba and Eduardo Laureano},
  title = {Distribution and {P}ersistence as {A}spects},
  journal = {Software: Practice \& Experience},
  year = {2006},
  volume = {36},
  pages = {711-759},
  number = {7},
  note = {John Wiley \& Sons}
}

@INPROCEEDINGS{sullivan-fse05,
  author = {Kevin Sullivan and William G. Griswold and Yuanyuan Song and Yuanfang
	Cai and Macneil Shonle and Nishit Tewari and Hridesh Rajan},
  title = {Information hiding interfaces for aspect-oriented design},
  booktitle = {ESEC/FSE-13: Proceedings of the 10th European software engineering
	conference held jointly with 13th ACM SIGSOFT international symposium
	on Foundations of software engineering},
  year = {2005},
  pages = {166--175},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1081706.1081734},
  isbn = {1-59593-014-0},
  location = {Lisbon, Portugal}
}

@INPROCEEDINGS{kodkod,
  author = {Emina Torlak and Daniel Jackson},
  title = {Kodkod: A Relational Model Finder},
  booktitle = {International Conference on Tools and Algorithms for the Construction
	and Analysis of Systems},
  year = {2007},
  pages = {91-101}
}

